We develop the theory of Krull dimension forS4-algebras and Heyting algebras. This leads to the concept of modal Krull dimension for topological spaces. We compare modal Krull dimension to other well-known dimension functions, and show that it can detect differences between topological spaces that Krull dimension is unable to detect. We prove that for aT1-space to have a finite modal Krull dimension can be described by an appropriate generalization of the well-known concept of a nodec space. This, in turn, can (...) be described by modal formulaszemnwhich generalize the well-known Zeman formulazem. We show that the modal logicS4.Zn:=S4+ zemnis the basic modal logic ofT1-spaces of modal Krull dimension ≤n, and we construct a countable dense-in-itselfω-resolvable Tychonoff spaceZnof modal Krull dimensionnsuch thatS4.Znis complete with respect toZn. This yields a version of the McKinsey-Tarski theorem forS4.Zn. We also show that no logic in the interval [S4n+1S4.Zn) is complete with respect to any class ofT1-spaces. (shrink)

It is a landmark theorem of McKinsey and Tarski that if we interpret modal diamond as closure, then \ is the logic of any dense-in-itself metrizable space. The McKinsey–Tarski Theorem relies heavily on a metric that gives rise to the topology. We give a new and more topological proof of the theorem, utilizing Bing’s Metrization Theorem.

We prove that the existence of a measurable cardinal is equivalent to the existence of a normal space whose modal logic coincides with the modal logic of the Kripke frame isomorphic to the powerset of a two element set.

Within ZFC, we develop a general technique to topologize trees that provides a uniform approach to topological completeness results in modal logic with respect to zero-dimensional Hausdorff spaces. Embeddings of these spaces into well-known extremally disconnected spaces then gives new completeness results for logics extending S4.2.

We prove that the modal logic of a crowded locally compact generalized ordered space is $\textsf {S4}$. This provides a version of the McKinsey–Tarski theorem for generalized ordered spaces. We then utilize this theorem to axiomatize the modal logic of an arbitrary locally compact generalized ordered space.